"Wojciech Penczek" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues)

Johan Lilius, Wojciech Penczek

Категория: Компьютеры

4.76 Mb

#2

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)

Wojciech Penczek, Agata Polrola

Категория: Образование

2.78 Mb

#3

Advances in verification of time petri nets and timed automata: a temporal logic approach

Wojciech Penczek, Agata Pólrola

2.77 Mb

#4

Mathematical Foundations of Computer Science 1996 21 conf., MFCS'96

Wojciech Penczek, Andrzej Szalas

Категория: Cs_Computer science, CsLn_Lecture notes

5.03 Mb